Lecture 5: Ltl